Validation and verification of software process models
Identifieur interne : 00DA32 ( Main/Exploration ); précédent : 00DA31; suivant : 00DA33Validation and verification of software process models
Auteurs : Volker Gruhn [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: We introduce a software process modeling language — called FUNSOFT nets — which has a formally defined semantics in terms of Predicate/Transition nets. For this language we have implemented various analysis facilities. We point out which benefits can be gained from a thorough software process model analysis. We explain how software process models can be validated and how software process model properties can be verified. The proposed software process model validation is based on software process simulation, the proposed verification of software process model properties is based on well-known Petri net algorithms and on the notion of quantity restricted coverability trees. Finally, we explain how the proposed analysis facilities are implemented in the analysis tool ANAMEL, which is embedded into the software process management environment MELMAC.
Url:
DOI: 10.1007/3-540-54194-2_40
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001231
- to stream Istex, to step Curation: 001214
- to stream Istex, to step Checkpoint: 003099
- to stream Main, to step Merge: 00E310
- to stream Main, to step Curation: 00DA32
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Validation and verification of software process models</title>
<author><name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:4DCEA9F0C29CCFB1D2067F1C597B2B04D762C5EE</idno>
<date when="1991" year="1991">1991</date>
<idno type="doi">10.1007/3-540-54194-2_40</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-FCNBQKW6-1/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001231</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001231</idno>
<idno type="wicri:Area/Istex/Curation">001214</idno>
<idno type="wicri:Area/Istex/Checkpoint">003099</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">003099</idno>
<idno type="wicri:doubleKey">0302-9743:1991:Gruhn V:validation:and:verification</idno>
<idno type="wicri:Area/Main/Merge">00E310</idno>
<idno type="wicri:Area/Main/Curation">00DA32</idno>
<idno type="wicri:Area/Main/Exploration">00DA32</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Validation and verification of software process models</title>
<author><name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name>
<affiliation></affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: We introduce a software process modeling language — called FUNSOFT nets — which has a formally defined semantics in terms of Predicate/Transition nets. For this language we have implemented various analysis facilities. We point out which benefits can be gained from a thorough software process model analysis. We explain how software process models can be validated and how software process model properties can be verified. The proposed software process model validation is based on software process simulation, the proposed verification of software process model properties is based on well-known Petri net algorithms and on the notion of quantity restricted coverability trees. Finally, we explain how the proposed analysis facilities are implemented in the analysis tool ANAMEL, which is embedded into the software process management environment MELMAC.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
</country>
</list>
<tree><country name="Allemagne"><noRegion><name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00DA32 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00DA32 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:4DCEA9F0C29CCFB1D2067F1C597B2B04D762C5EE |texte= Validation and verification of software process models }}
This area was generated with Dilib version V0.6.33. |